package common.correspondence;

import common.Announcement;
import common.Node;

import java.util.HashMap;
import java.util.Vector;

public interface BDDTransfer {
    String bddToString(int bddIndex);

    int stringToBdd(String str);
    int stringToBdd(Iterable<String> str);
    HashMap<Integer, Vector<Integer>> stringToCountTable(String str);
    String countTableToString(HashMap<Integer, Vector<Integer>> table);
    String CibInAnnouncementToString(Vector<Announcement> ans);
    Vector<Announcement> stringToCibInAnnouncement(String str);
}
